منابع مشابه
Classes of Modules Related to Serre Subcategories
Let R be an associative ring with non-zero identity. For a Serre subcategory C of the category R-mod of left R-modules, we consider the class AC of all modules that do not belong to C, but all of their proper submodules belong to C. Alongside of basic properties of such associated classes of modules, we will prove that every uniform module of AC has a local endomorphism ring. Moreover, if R is ...
متن کاملRelating first-order set theories, toposes and categories of classes
Article history: Received 22 December 2010 Received in revised form 12 December 2012 Accepted 12 May 2013 Available online 8 July 2013 MSC: 03E70 03F50 03G30 18B05
متن کاملfirst - order set theories , toposes and categories of classes
This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions (dssi) on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conserv...
متن کاملSheaves for predicative toposes
In this paper, we discuss the stability of predicative toposes under taking sheaves for an internal site. What is the most useful notion of a predicative topos has not been established yet, but we discuss sheafification for some candidates for that title. The results obtained here sharpen the results published by Moerdijk and Palmgren in [10] and [11]. We also propose a new axiom and show its u...
متن کاملSheaf toposes for realizability
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms to study the relationship between realizability models over different partial combinatory algebras. This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1982
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700005086